Bayesian Energy Measurement and Verification Analysis
نویسندگان
چکیده
منابع مشابه
Measurement and Analysis of Green Energy Economy Indicators in Iran (Measurement of Carbon Dioxide Emission and its Elasticity)
Achieving sustainable economic growth is one of the most important goals of countries' economic programs and policies in the current era. Along with economic growth, consumption of energy rises. Since fossil fuels provide a major share of the world's energy, increased fuel consumption is an inevitable feature of economic growth. Continuation of this trend increases greenhouse gas emmissions, n...
متن کاملFunctional verification coverage measurement and analysis
Of course, from childhood to forever, we are always thought to love reading. It is not only reading the lesson book but also reading everything good is the choice of getting new inspirations. Religion, sciences, politics, social, literature, and fictions will enrich you for not only one aspect. Having more aspects to know and understand will lead you become someone more precious. Yea, becoming ...
متن کاملEnergy Consumption Analysis and Verification using CiaoPP
Energy consumption and the environmental impact of computing technologies have become important concerns. There is increased demand for complex computing systems which have to operate on batteries or harvested energy, such as implantable/portable medical devices, space systems, mobile phones, and other Internet of Things devices. At the same time, energy consumption is also an important problem...
متن کاملMeasurement bias detection through Bayesian factor analysis
Measurement bias has been defined as a violation of measurement invariance. Potential violators-variables that possibly violate measurement invariance-can be investigated through restricted factor analysis (RFA). The purpose of the present paper is to investigate a Bayesian approach to estimate RFA models with interaction effects, in order to detect uniform and nonuniform measurement bias. Beca...
متن کاملTowards Energy Consumption Verification via Static Analysis
In this paper we leverage an existing general framework for resource usage verification and specialize it for verifying energy consumption specifications of embedded programs. Such specifications can include both lower and upper bounds on energy usage, and they can express intervals within which energy usage is to be certified to be within such bounds. The bounds of the intervals can be given i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Energies
سال: 2018
ISSN: 1996-1073
DOI: 10.3390/en11020380